/*
 * @(#)IXfspRulebaseSimplifier.java        2004/08/01
 *
 * This file is part of Xfuzzy 3.1, a design environment for fuzzy logic
 * based systems.
 *
 * (c) 2000 IMSE-CNM. The authors may be contacted by the email address:
 *                    xfuzzy-team@imse.cnm.es
 *
 * Xfuzzy is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by
 * the Free Software Foundation.
 *
 * Xfuzzy is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * for more details.
 */

package xfuzzy.xfsp.model.rulebases;

import xfuzzy.lang.KnowledgeBase;
import xfuzzy.lang.Specification;

/**
 * <p> <b>Descripci�n:</b> interfaz de los objetos simplificadores de bases de
 * reglas de un sistema difuso.
 * <p> <b>E-mail</b>: <ADDRESS>joragupra@us.es</ADDRRESS>
 * @author Jorge Agudo Praena
 * @version 1.4
 * @see XfspModel
 * @see XfspPrunning
 * @see XfspSeparatorSimplifier
 * @see XfspTabularSimplifier
 * @see XfspUnionerSimplifier
 *
 */
public interface IXfspRulebaseSimplifier {

  /**
   * <p> <b>Descripci�n:</b> simplifica una base de reglas de un sistem difuso
   * cuya especificaci�n tambi�n es proporcionada.
   * @param rulebase Base de reglas que se quiere simplificar.
   * @param spec Especificaci�n del sistema cuya base de reglas se va a
   * simplificar.
   *
   */
  public void simplify(KnowledgeBase rulebase, Specification spec);
}
